(* Expaning coalg_store *)

;;
Store (set (set a s), get (set a s)) = Store (set a, s)
